$\forall$$A$, $B$:System, $i$:Id.
\\[0ex]($\forall$$j$:Id. $\neg$$j$ $=$ $i$ $\Rightarrow$ $A$($j$) $=$  $\in$ MsgA) $\Rightarrow$ $A$($i$) $\subseteq$ $B$($i$) $\Rightarrow$ s{-}dsys($A$) $\subseteq$ s{-}dsys($B$)